Digital Library


Search: "[ keyword: Test Case Generation ]" (16)
    Test Case Generation Strategy for Timing Diagram
    Hong Seok Lee , Ki Hyun Chung , Kyung Hee Choi The KIPS Transactions:PartD, Vol. 17, No. 4, pp. 283-296, Aug. 2010
    10.3745/KIPSTD.2010.17.4.283


    Comparison of Test Case Effectiveness Based on Dynamic Diagrams Using Mutation Testing
    Hyuck Su Lee , Choi Eun Man The KIPS Transactions:PartD, Vol. 16, No. 4, pp. 517-526, Aug. 2009
    10.3745/KIPSTD.2009.16.4.517


    Adaptive Random Testing through Iterative Partitioning with Enlarged Input Domain
    Seung Hun Shin , Seung Kyu Park The KIPS Transactions:PartD, Vol. 15, No. 4, pp. 531-540, Aug. 2008
    10.3745/KIPSTD.2008.15.4.531


    A Test Case Generation Techniques Based on J2ME Platform
    Sang Il Kim , Myong Ki Roh , Sung Yul Rhew The KIPS Transactions:PartD, Vol. 13, No. 2, pp. 215-222, Apr. 2006
    10.3745/KIPSTD.2006.13.2.215


    Generating Test Cases and Scripts from Requirements in Controlled Language
    Hye Jin Han, Kihyun Chung, Kyunghee Choi KIPS Transactions on Software and Data Engineering, Vol. 8, No. 8, pp. 331-342, Aug. 2019
    https://doi.org/10.3745/KTSDE.2019.8.8.331
    Keywords: test case generation, Test Script, Controlled Requirement, Test Coverage, Test Case Auto Generation


    A Validation Technique for Process Component Composition in the Component - Based Development Process
    Bok Gyu Joo, Young Chul Kim The KIPS Transactions:PartD, Vol. 8, No. 6, pp. 691-698, Dec. 2001
    10.3745/KIPSTD.2001.8.6.691


    A Test Case Generation Method for Data Distribution System of Submarine
    Suik Son, Dongsu Kang KIPS Transactions on Software and Data Engineering, Vol. 8, No. 4, pp. 137-144, Apr. 2019
    https://doi.org/10.3745/KTSDE.2019.8.4.137
    Keywords: Data Distribution System, Model-based testing, Path Testing, Tree Traversal, test case generation


    Fault Injection Based Indirect Interaction Testing Approach for Embedded System
    Muhammad Iqbal Hossain, Woo Jin Lee KIPS Transactions on Software and Data Engineering, Vol. 6, No. 9, pp. 419-428, Sep. 2017
    10.3745/KTSDE.2017.6.9.419
    Keywords: Indirect Interaction, Interaction Testing, Test Case Generation, Fault Injection, Embedded System


    Model-Based Automatic Test Data Generation Method Using Custom Parser and SMT Solver
    Ki-Wook Shin, Dong-Jin Lim KIPS Transactions on Software and Data Engineering, Vol. 6, No. 8, pp. 385-390, Aug. 2017
    10.3745/KTSDE.2017.6.8.385
    Keywords: test case generation, Model-Based Development, Custom Parser, SMT Solver


    Test Case Generation For Simulink/Stateflow Model Using Yices and Model Information
    Han Gon Park, Kihyun Chung, Kyunghee Choi KIPS Transactions on Software and Data Engineering, Vol. 6, No. 6, pp. 293-302, Jun. 2017
    10.3745/KTSDE.2017.6.6.293
    Keywords: test case generation, Simulink/Stateflow, Model Based Test, Yices